#ifndef __MMU_CACHE_H_
#define __MMU_CACHE_H_

#include "../PUBLIC/public.h"

void mmu_init();
void create_secdesc(unsigned int *ttb, unsigned int va, unsigned int pa, int io);
void create_page_table();

#endif
